Новая философская энциклопедия - клини стефан коул
Связанные словари
Клини стефан коул
клини стефан коул
(5 января 1909, Хартфорд, США — 25 января 1994) — американский логик и математик, ученикА Черна; окончил Принстонский университет (1930), в 1930—35 преподавал там же. С 1935 в Висконсинском университете перспективных исследований, а в 1966—67 — директор Математического исследовательского центра. Член Национальной АН США (с 1969). Клини принадлежал к поколению логиков, начало творческой деятельности которых совпадает со временем появления знаменитых теорем Геделя, во многом определивших тематику и характер исследований многих специалистов. Научные интересы Клини были направлены на проблемы теории алгоритмов, рекурсивных функций, оснований интуиционистской математики (см. Интуиционизм). Ему принадлежат результаты в области установления арифметических иерархий, степенен вычислимости, исследования вычислимых ординалов. Он показал, в частности, что класс определимых функций совпадает с классом рекурсивных функций. В поисках моделей интуиционистской арифметики Клини разработал теорию рекурсивной реализуемости формул, аппарат которой использовал для доказательства ряда теорем о невыводимости. Широкую известность получили его монографии «Введение в метаматематику» (1952, рус. пер. 1957), »Математическая логика» (1967, рус. пер. 1973), «Основания интуиционистской математики» (1965, рус. пер. 1978). Соч.; A Theory of Positive Integers in Formal Logic.— «American Journal f Mathematics», 1935, 57; General Recursive Functions of Natural Numbers.— «Mathematische Annalen», 1936, v. 112; defmity and Recursivenes.— «Duke Mathematical Journal», 1936, 2: On Notation of rdinal Numbers.— «Journal of Symbolic Logic», 1938, 3; Hierarhies of Number-theoretic Predicates,— «Bulletin American Mathematical», 1)55. 79; Recursive Function and Intuitionistic Mathematics.— Proc. Jnt. Congres of Math. Cambr.. 1950; The Inconsisteny of Certain Formal Logic.— «Annals of Mathematic», 1935. 36.
А. С. Кузичев, 3. А. Кузичева
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2287 | |
2 | 1815 | |
3 | 1768 | |
4 | 1759 | |
5 | 1673 | |
6 | 1611 | |
7 | 1524 | |
8 | 1493 | |
9 | 1491 | |
10 | 1471 | |
11 | 1445 | |
12 | 1444 | |
13 | 1423 | |
14 | 1418 | |
15 | 1318 | |
16 | 1291 | |
17 | 1276 | |
18 | 1271 | |
19 | 1264 | |
20 | 1245 |